Definition of correctness